An Algebraic Treatment of the Leibniz Law
نویسندگان
چکیده
Piotr WILCZEK, Institute of Mathematics, Poznan University of Technology, [email protected] Eadem sunt quorum unum potest substitui alteri salva veritate. This famous dictum was stated by Gottfried Wilhelm Leibniz in his "Discourse on Methaphysics" and is now termed Leibniz Law of the Identity of Indiscernibles (PII) after him. This principle is a fragment of Leibnizs analytical ontology. A version of Leibniz Law can be written in a second order language as:
منابع مشابه
Categorical Abstract Algebraic Logic: Compatibility Operators and the Leibniz Hierarchy
A unified treatment of the operator approach to categorical abstract algebraic logic (CAAL) was recently presented by the author using as tools the notions of compatibility operator of Czelakowski, of coherent compatibility operator of Albuquerque, Font and Jansana and exploiting an abstract Galois connection established via the use of these operators. The approach encompasses previous work by ...
متن کاملAlgebraic K-Theory and the Conjectural Leibniz K-Theory
The analogy between algebraic K-theory and cyclic homology is used to build a program aiming at understanding the algebraic K-theory of fields and the periodicity phenomena in algebraic K-theory. In particular, we conjecture the existence of a Leibniz K-theory which would play the role of Hochschild homology. We propose a motivated presentation for the Leibniz K2-group of a field. Mathematics S...
متن کاملLeibniz Algebras and Lie Algebras
This paper concerns the algebraic structure of finite-dimensional complex Leibniz algebras. In particular, we introduce left central and symmetric Leibniz algebras, and study the poset of Lie subalgebras using an associative bilinear pairing taking values in the Leibniz kernel.
متن کاملMAGMA-JOINED-MAGMAS: A CLASS OF NEW ALGEBRAIC STRUCTURES
By left magma-$e$-magma, I mean a set containingthe fixed element $e$, and equipped by two binary operations "$cdot$", $odot$ with the property $eodot (xcdot y)=eodot(xodot y)$, namelyleft $e$-join law. So, $(X,cdot,e,odot)$ is a left magma-$e$-magmaif and only if $(X,cdot)$, $(X,odot)$ are magmas (groupoids), $ein X$ and the left $e$-join law holds.Right (and two-sided) magma-$e$-magmas are de...
متن کامل